/**
 * de.herberlin.sudoku.timer.AnimationListener
 */
package de.herberlin.sudoku.timer;

/**
 * @author herberlin
 * @created 17.06.2006
 */
public interface AnimationListener {

	void time(AnimationEvent event);

}
